.intel_syntax noprefix
MFENCE # instrumentation
.test_case_enter:
.function_main:
.bb_main.entry:
JMP .bb_main.0 
.bb_main.0:
AND RDX, 0b1111111111111 # instrumentation
CMOVS DI, word ptr [R14 + RDX] 
AND RBX, 0b1111111111111 # instrumentation
BTC dword ptr [R14 + RBX], 3 
AND RDX, 0b1111111111111 # instrumentation
CMOVNP RAX, qword ptr [R14 + RDX] 
AND RCX, 0b1111111111111 # instrumentation
AND EBX, 0b111 # instrumentation
LOCK BTC dword ptr [R14 + RCX], EBX 
AND RBX, 0b1111111111111 # instrumentation
OR qword ptr [R14 + RBX], 0b1000000000000000000000000000000 # instrumentation
BSR RDX, qword ptr [R14 + RBX] 
AND RCX, 0b1111111111111 # instrumentation
OR BL, byte ptr [R14 + RCX] 
AND RCX, 0b1111111111111 # instrumentation
AND qword ptr [R14 + RCX], RDX 
JNLE .bb_main.1 
JMP .bb_main.exit 
.bb_main.1:
OR AX, -29449 
AND RAX, 0b1111111111111 # instrumentation
OR BX, word ptr [R14 + RAX] 
AND RSI, 0b1111111111111 # instrumentation
XOR EDI, dword ptr [R14 + RSI] 
AND RDI, 0b1111111111111 # instrumentation
CMOVNB RAX, qword ptr [R14 + RDI] 
AND RDI, 0b1111111111111 # instrumentation
LOCK BTC qword ptr [R14 + RDI], 3 
AND DIL, -59 # instrumentation
CMOVLE RCX, RCX 
CMOVNZ RDX, RDI 
XOR RCX, 51 
AND EDX, 23 
AND RDX, 0b1111111111111 # instrumentation
AND RDI, 0b111 # instrumentation
LOCK BTC qword ptr [R14 + RDX], RDI 
OR DIL, -116 
XOR RSI, 41 
TEST SIL, SIL 
.bb_main.exit:
.test_case_exit:
MFENCE # instrumentation
